Performance Expectations on Ada Programs
نویسندگان
چکیده
A method for performance estimation of Ada programs by analyzing their syntactical structure is presented. The use of algorithmic knowledge by means of code annotations to improve the analysis is discussed. Dual loop benchmarks are used to estimate the execution time for basic Ada features from which all other estimations are derived. An example program is analyzed and compared to its actual time showing an initial overestimation of 40%. It is suggested that the method is integrated with the Ada–environment to ensure that estimations are consistent with the current version of the code.
منابع مشابه
Flow Analysis for Verifying Speci cations of Concurrent and Distributed Software
This paper presents FLAVERS, a nite state veri cation approach that analyzes whether concurrent or sequential programs satisfy user-de ned correctness properties. In contrast to other nite-state veri cation techniques, FLAVERS is based on algorithms with low-order polynomial bounds on the running time. FLAVERS achieves this e ciency at the cost of precision. Users, however, can improve the prec...
متن کاملFlow Analysis for Verifying Speci cations of Concurrent
This paper presents FLAVERS, a nite state veriication approach that analyzes whether concurrent or sequential programs satisfy user-deened correctness properties. In contrast to other nite-state veriica-tion techniques, FLAVERS is based on algorithms with low-order polynomial bounds on the running time. FLAVERS achieves this eeciency at the cost of precision. Users, however, can improve the pre...
متن کاملA Task Dependence Net Generator for Concurrent Ada Programs
There are ve types of basic program dependences in concurrent programs. Task Dependence Net(TDN) is an arc-classi ed digraph to explicitly represent the ve types of basic program dependences in concurrent Ada programs. This paper describes algorithms to compute TDNs for a class of concurrent Ada programs, and shows the structure and implementation of our TDN generator for concurrent Ada program...
متن کاملReporting on Outcomes: Setting Performance Expectations and Telling Performance Stories
Results, and more particularly outcomes, are at the centre of public management reform in many jurisdictions, including Canada. Managing for outcomes, including setting realistic outcome expectations for programs, and credibly reporting on what was achieved are proving to be challenges, perhaps not unexpectedly, given the challenges faced in evaluating the outcomes of public programs. This arti...
متن کاملAn Approach to Model Checking Ada Programs
This paper describes a tool-supported method for the formal verification of Ada programs. It presents ATOS, a tool that automatically extracts a model in SPIN from an Ada Program, together with a set of properties that state the correctness of the model. ATOS is also capable of extracting properties from user-provided annotations in Ada programs, inspired by the Spark Annotation language. The g...
متن کامل